A METHODOLOGY FOR DESIGNING HIGH CONFIDENCE PATTERN VIA EVENT B
نویسندگان
چکیده
منابع مشابه
A Duration Pattern for Event-B Method
Event-B is a formal method used to do Model Driven Engineering certified by theorem proving. We propose a pattern to handle duration over a predicate in this method which originally does not have particular tool to specify and reason about real-time properties.
متن کاملTowards a Stochtastic Event-B for Designing Dependable Systems
Designing dependable systems is complex and, whilst the state of the art goes some way towards assisting in the design process, existing approaches have some limitations. A case study is used to explore the available approaches and discuss their benefits and limitations. Based on these observations, stochastic extensions to the Event-B notation are proposed that build on the strengths of the ex...
متن کاملA Reliability-confidence Methodology for Complex Systems
Measurement errors and other uncertainties place an interval of ambiguity around the mean value of system probability of failure and each path and component failure probability. Associated with a specified reliability R that a failure probability will lie within an interval is a confidence C in that reliability. The statement that the system probability of failure lies within a specified interv...
متن کاملA Formal Semantics for Use Case Diagram Via Event-B
UML has become the "de facto" standard for modeling object-oriented software. However, the UML notation suffers from an imprecise and incomplete semantics definition, which makes difficult to automated analysis and is errors-prone. Formal methods have been used largely in order to deal with this problem. This paper proposes an approach to formally describe Use Case Diagram using the Event-B lan...
متن کاملEvent Detection via Communication Pattern Analysis
Social media applications such as Twitter provide a powerful medium through which users can communicate their observations with friends and with the world at large. We have witnessed live reporting of many events, from soccer games in Johannesburg to revolutions in Cairo and Tunis, and these reports have in many ways rivaled the content provided by the official media. Tapping into this valuable...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Intelligent Computing and Information Sciences
سال: 2017
ISSN: 2535-1710
DOI: 10.21608/ijicis.2017.9149